Cho A và B là các tập hợp, khi đó phần bù tương đối của A trong B, hay còn gọi là hiệu tập hợp của B và A, là tập gồm tất cả các phần tử nằm trong B, nhưng không nằm trong A.

Phần bù tương đối của A trong B:
B − A       =       A c ∩ B {\displaystyle B-A~~~=~~~A^{c}\cap B}

Phần bù tương đối của A trong B được viết là B − A (hoặc B \ A).

Dưới dạng ký hiệu toán học:

B − A = { x ∈ B | x ∉ A } . {\displaystyle B-A=\{x\in B\,|\,x\notin A\}.}